56 research outputs found
Pluvio: Assembly Clone Search for Out-of-domain Architectures and Libraries through Transfer Learning and Conditional Variational Information Bottleneck
The practice of code reuse is crucial in software development for a faster
and more efficient development lifecycle. In reality, however, code reuse
practices lack proper control, resulting in issues such as vulnerability
propagation and intellectual property infringements. Assembly clone search, a
critical shift-right defence mechanism, has been effective in identifying
vulnerable code resulting from reuse in released executables. Recent studies on
assembly clone search demonstrate a trend towards using machine learning-based
methods to match assembly code variants produced by different toolchains.
However, these methods are limited to what they learn from a small number of
toolchain variants used in training, rendering them inapplicable to unseen
architectures and their corresponding compilation toolchain variants.
This paper presents the first study on the problem of assembly clone search
with unseen architectures and libraries. We propose incorporating human common
knowledge through large-scale pre-trained natural language models, in the form
of transfer learning, into current learning-based approaches for assembly clone
search. Transfer learning can aid in addressing the limitations of the existing
approaches, as it can bring in broader knowledge from human experts in assembly
code. We further address the sequence limit issue by proposing a reinforcement
learning agent to remove unnecessary and redundant tokens. Coupled with a new
Variational Information Bottleneck learning strategy, the proposed system
minimizes the reliance on potential indicators of architectures and
optimization settings, for a better generalization of unseen architectures. We
simulate the unseen architecture clone search scenarios and the experimental
results show the effectiveness of the proposed approach against the
state-of-the-art solutions.Comment: 13 pages and 4 figures. This work has been submitted to the IEEE for
possible publication. Copyright may be transferred without notice, after
which this version may no longer be accessibl
Microcantilever based disposable viscosity sensor for serum and blood plasma measurements
This paper proposes a novel method for measuring blood plasma and serum viscosity with a microcantilever-based MEMS sensor. MEMS cantilevers are made of electroplated nickel and actuated remotely with magnetic field using an electro-coil. Real-time monitoring of cantilever resonant frequency is performed remotely using diffraction gratings fabricated at the tip of the dynamic cantilevers. Only few nanometer cantilever deflection is sufficient due to interferometric sensitivity of the readout. The resonant frequency of the cantilever is tracked with a phase lock loop (PLL) control circuit. The viscosities of liquid samples are obtained through the measurement of the cantilever's frequency change with respect to a reference measurement taken within a liquid of known viscosity. We performed measurements with glycerol solutions at different temperatures and validated the repeatability of the system by comparing with a reference commercial viscometer. Experimental results are compared with the theoretical predictions based on Sader's theory and agreed reasonably well. Afterwards viscosities of different Fetal Bovine Serum and Bovine Serum Albumin mixtures are measured both at 23. °C and 37. °C, body temperature. Finally the viscosities of human blood plasma samples taken from healthy donors are measured. The proposed method is capable of measuring viscosities from 0.86. cP to 3.02. cP, which covers human blood plasma viscosity range, with a resolution better than 0.04. cP. The sample volume requirement is less than 150. μl and can be reduced significantly with optimized cartridge design. Both the actuation and sensing are carried out remotely, which allows for disposable sensor cartridges. © 2013
Cauchyness and convergence in fuzzy metric spaces
[EN] In this paper we survey some concepts of convergence and Cauchyness appeared separately in the context of fuzzy metric spaces in the sense of George and Veeramani. For each convergence (Cauchyness) concept we find a compatible Cauchyness (convergence) concept. We also study the relationship among them and the relationship with compactness and completeness (defined in a natural sense for each one of the Cauchy concepts). In particular, we prove that compactness implies p-completeness.Almanzor Sapena acknowledges the support of Ministry of Economy and Competitiveness of Spain under grant TEC2013-45492-R.
ValentÃn Gregori acknowledges the support of Ministry of Economy and Competitiveness of Spain under grant MTM 2012-37894-C02-01.Gregori Gregori, V.; Miñana, J.; Morillas, S.; Sapena Piera, A. (2017). Cauchyness and convergence in fuzzy metric spaces. Revista de la Real Academia de Ciencias Exactas FÃsicas y Naturales Serie A Matemáticas. 111(1):25-37. https://doi.org/10.1007/s13398-015-0272-0S25371111Alaca, C., Turkoglu, D., Yildiz, C.: Fixed points in intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 29, 1073–1078 (2006)Edalat, A., Heckmann, R.: A computational model for metric spaces. Theor. Comput. Sci. 193, 53–73 (1998)Engelking, R.: General topology. PWN-Polish Sci. Publ, Warsawa (1977)Fang, J.X.: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 46(1), 107–113 (1992)George, A., Veeramani, P.: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64, 395–399 (1994)George, A., Veeramani, P.: Some theorems in fuzzy metric spaces. J. Fuzzy Math. 3, 933–940 (1995)George, A., Veeramani, P.: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 90, 365–368 (1997)Grabiec, M.: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 27, 385–389 (1989)Gregori, V., Romaguera, S.: Some properties of fuzzy metric spaces. Fuzzy Sets Syst. 115, 485–489 (2000)Gregori, V., Romaguera, S.: On completion of fuzzy metric spaces. Fuzzy Sets Syst. 130, 399–404 (2002)Gregori, V., Romaguera, S.: Characterizing completable fuzzy metric spaces. Fuzzy Sets Syst. 144, 411–420 (2004)Gregori, V., López-Crevillén, A., Morillas, S., Sapena, A.: On convergence in fuzzy metric spaces. Topol. Appl. 156, 3002–3006 (2009)Gregori, V., Miñana, J.J.: Some concepts realted to continuity in fuzzy metric spaces. In: Proceedings of the conference in applied topology WiAT’13, pp. 85–91 (2013)Gregori, V., Miñana, J.-J., Sapena, A.: On Banach contraction principles in fuzzy metric spaces (2015, submitted)Gregori, V., Miñana, J.-J.: std-Convergence in fuzzy metric spaces. Fuzzy Sets Syst. 267, 140–143 (2015)Gregori, V., Miñana, J.-J.: Strong convergence in fuzzy metric spaces Filomat (2015, accepted)Gregori, V., Miñana, J.-J., Morillas, S.: Some questions in fuzzy metric spaces. Fuzzy Sets Syst. 204, 71–85 (2012)Gregori, V., Miñana, J.-J., Morillas, S.: A note on convergence in fuzzy metric spaces. Iran. J. Fuzzy Syst. 11(4), 75–85 (2014)Gregori, V., Morillas, S., Sapena, A.: On a class of completable fuzzy metric spaces. Fuzzy Sets Syst. 161, 2193–2205 (2010)Gregori, V., Morillas, S., Sapena, A.: Examples of fuzzy metric spaces and applications. Fuzzy Sets Syst. 170, 95–111 (2011)Kramosil, I., Michalek, J.: Fuzzy metric and statistical metric spaces. Kybernetika 11, 326–334 (1975)Mihet, D.: On fuzzy contractive mappings in fuzzy metric spaces. Fuzzy Sets Syst. 158, 915–921 (2007)Mihet, D.: Fuzzy φ -contractive mappings in non-Archimedean fuzzy metric spaces. Fuzzy Sets Syst. 159, 739–744 (2008)Mihet, D.: A Banach contraction theorem in fuzzy metric spaces. Fuzzy Sets Syst. 144, 431–439 (2004)Mishra, S.N., Sharma, N., Singh, S.L.: Common fixed points of maps on fuzzy metric spaces Internat. J. Math. Math. Sci. 17(2), 253–258 (1994)Morillas, S., Sapena, A.: On Cauchy sequences in fuzzy metric spaces. In: Proceedings of the conference in applied topology (WiAT’13), pp. 101–108 (2013)Ricarte, L.A., Romaguera, S.: A domain-theoretic approach to fuzzy metric spaces. Topol. Appl. 163, 149–159 (2014)Sherwood, H.: On the completion of probabilistic metric spaces. Z.Wahrschein-lichkeitstheorie verw. Geb. 6, 62–64 (1966)Sherwood, H.: Complete Probabilistic Metric Spaces. Z. Wahrschein-lichkeitstheorie verw. Geb. 20, 117–128 (1971)Tirado, P.: On compactness and G-completeness in fuzzy metric spaces. Iran. J. Fuzzy Syst. 9(4), 151–158 (2012)Tirado, P.: Contraction mappings in fuzzy quasi-metric spaces and [0,1]-fuzzy posets. Fixed Point Theory 13(1), 273–283 (2012)Vasuki, R., Veeramani, P.: Fixed point theorems and Cauchy sequences in fuzzy metric spaces. Fuzzy Sets Syst. 135(3), 415–417 (2003)Veeramani, P.: Best approximation in fuzzy metric spaces. J. Fuzzy Math. 9, 75–80 (2001
- …